Wednesday, May 3

• CNF and NP-Completeness